$X$($L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$e$.$X$($e$);$L$)